A Novel SAT-Based Approach to Model Based Diagnosis

A Novel SAT-Based Approach to Model Based Diagnosis

This paper introduces a novel encoding of Model Based Diagnosis (MBD) to Boolean Satisfaction (SAT) focusing on minimal cardinality diagnosis. The encoding is based on a combination of sophisticated MBD preprocessing algorithms and the application of a SAT compiler which optimizes the encoding to provide more succinct CNF representations than obtained with previous works. Experimental evidence ...

mortality forecasting based on lee-carter model

over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...

Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT

Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system’s behavior analysis, the latter controls the actual diagnosis process. Especially when pursuing qualitative simulation, it makes sense to realize the simulation machinery with a logic calculus as well. Say, a qualitatively described hypothesis can direct...

SAT-Based Abductive Diagnosis

Increasing complexity and magnitude of technical systems demand an accurate fault localization in order to reduce maintenance costs and system down times. Resting on solid theoretical foundations, model-based diagnosis provides techniques for root cause identification by reasoning on a description of the system to be diagnosed. Practical implementations in industries, however, are sparse due to...

A SAT-Based Approach to MinSAT